Synonyms for "predicate calculus"

Words with similar meaning